Note on Supervenience and Definability
نویسندگان
چکیده
منابع مشابه
Note on Supervenience and Definability
The idea of a property’s being supervenient on a class of properties is familiar from much philosophical literature. We give this idea a linguistic turn by converting it into the idea of a predicate symbol’s being supervenient on a set of predicate symbols relative to a (first order) theory. What this means is that according to the theory, any individuals differing in respect to whether the giv...
متن کاملA Note on Definability and Approximations
Definability and approximations are two important notions of the theory of rough sets. In many studies, one is used to define the other. There is a lack of an explicit interpretation of the physical meaning of definability. In this paper, the definability is used as a more primitive notion, interpreted in terms of formulas of a logic language. A set is definable if there is a formula that defin...
متن کاملA note on the product homomorphism problem and CQ-definability
The product homomorphism problem (PHP) takes as input a finite collection of relational structures A1, . . . ,An and another relational structure B, all over the same schema, and asks whether there is a homomorphism from the direct product A1 × · · · × An to B. This problem is clearly solvable in non-deterministic exponential time. It follows from results in [1] that the problem is NExpTimecomp...
متن کاملthe effects of cognitive strategies- note making and underlining- on iranian efl learners’ reading comprehension
هدف از انجام این مطالعه ، بررسی اثرات استفاده از استراتژی های شناختی یعنی "نت برداری" و "زیر خط کردن" بر روی عملکرد درک مطلب زبان آموزان ایرانی می باشد. به این منظور، 60 زبان آموز دختر سال چهارم دبیرستان از طریق آزمون پیشرفت زبان انگلیسی (نلسون)، از یک جامعه آماری بزرگتر انتخاب شدند. سپس به صورت تصادفی به سه گروه که هر گروه شامل ?0 دانش آموز همسان بود، تقسیم شدند: دو گروه آزمایش(گروه "نت برداری...
15 صفحه اولSupervenience and Infinitary Logic
The discussion of supervenience is replete with the use of infinitary logical operations. For instance, one may often find a supervenient property that corresponds to an infinite collection of supervenience-base properties, and then ask about the infinite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1998
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039293066